- интуиционистски истинный
- intuitionistically valid мат.
Русско-английский научно-технический словарь Масловского. 2015.
интуиционистски истинный
Look at other dictionaries:
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений. В более узком смысле под И. л. понимается интуиционистское исчисление предикатов, сформулированное А. Рейтингом (A. Heyting) в 1930. Это исчисление… … Математическая энциклопедия
